mammals in dinosaur times